package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type
type env = {
  1. mathsFont : Patfonts.Fonts.font Lazy.t;
  2. mathsSize : float;
  3. mathsSubst : Patfonts.FTypes.glyph_id list -> Patfonts.FTypes.glyph_id list;
  4. numerator_spacing : float;
  5. denominator_spacing : float;
  6. sub1 : float;
  7. sub2 : float;
  8. sup1 : float;
  9. sup2 : float;
  10. sup3 : float;
  11. sub_drop : float;
  12. sup_drop : float;
  13. default_rule_thickness : float;
  14. subscript_distance : float;
  15. superscript_distance : float;
  16. limit_subscript_distance : float;
  17. limit_superscript_distance : float;
  18. invisible_binary_factor : float;
  19. open_dist : float;
  20. close_dist : float;
  21. left_op_dist : float;
  22. right_op_dist : float;
  23. sqrt_dist : float;
  24. kerning : bool;
  25. priorities : float array;
  26. priority_unit : float;
  27. delimiter_up_tolerance : float;
  28. delimiter_down_tolerance : float;
  29. op_tolerance : float;
  30. op_limits_tolerance : float;
  31. punctuation_factor : float;
  32. optical_alpha : float;
  33. optical_beta : float;
  34. precise_kerning : float;
}
and environment = env array
and style =
  1. | Display
  2. | Display'
  3. | Text
  4. | Text'
  5. | Script
  6. | Script'
  7. | ScriptScript
  8. | ScriptScript'