Module Mlpost__Types
type color= Mlpost__.Concrete_types.colortype name= stringtype corner=[|`Northwest|`Northeast|`Southwest|`Southeast|`Upleft|`Upright|`Lowleft|`Lowright|`Upperleft|`Upperright|`Lowerleft|`Lowerright|`Topleft|`Topright|`Bottomleft|`Bottomright]type corner_red=[|`Northwest|`Northeast|`Southwest|`Southeast]type hposition=[|`Center|`West|`East|`Left|`Right]type vposition=[|`Center|`North|`South|`Top|`Botdeprecated
|`Bottom]type hposition_red=[|`Center|`West|`East]type vposition_red=[|`Center|`North|`South]type position=[|hposition|vposition|corner]type position_red=[|hposition_red|vposition_red|corner_red]
type num= floattype point= Mlpost__.Point_lib.tand on_off_node= private|On of num|Off of numand on_off= on_off_node Mlpost__.Hashcons.hash_consedand direction_node= private|Vec of point|Curl of float|NoDirand direction= direction_node Mlpost__.Hashcons.hash_consedand joint_node= private|JLine|JCurve|JCurveNoInflex|JTension of float * float|JControls of point * pointand joint= joint_node Mlpost__.Hashcons.hash_consedand knot_node= private{knot_in : direction;knot_p : point;knot_out : direction;}and knot= knot_node Mlpost__.Hashcons.hash_consedand metapath_node= private|MPAConcat of knot * joint * metapath|MPAKnot of knot|MPAAppend of metapath * joint * metapath|MPAofPA of pathand metapath= metapath_node Mlpost__.Hashcons.hash_consedand path_node= private|PAofMPA of metapath|MPACycle of direction * joint * metapath|PAFullCircle|PAHalfCircle|PAQuarterCircle|PAUnitSquare|PATransformed of path * transform|PACutAfter of path * path|PACutBefore of path * path|PABuildCycle of path list|PASub of num * num * path|PABBox of commandpicand path= path_node Mlpost__.Hashcons.hash_consedand matrix= Mlpost__.Matrix.tand transform= Mlpost__.Matrix.t listand dash_node= private|DEvenly|DWithdots|DScaled of num * dash|DShifted of point * dash|DPattern of on_off listand dash= dash_node Mlpost__.Hashcons.hash_consedand pen_node= private|PenCircle|PenSquare|PenFromPath of path|PenTransformed of pen * transformand pen= pen_node Mlpost__.Hashcons.hash_consedand picture_node= private|PITex of string|PITransformed of commandpic * transform|PIClip of commandpic * pathand picture= picture_node Mlpost__.Hashcons.hash_consedand command_node= private|CDraw of path * brush|CFill of path * color option|CLabel of commandpic * position * point|CDotLabel of commandpic * position * point|CExternalImage of string * spec_imageand commandpic_node= private|Picture of picture|Command of command|Seq of commandpic listand commandpic= commandpic_node Mlpost__.Hashcons.hash_consedand spec_image=[|`None|`Width of num|`Height of num|`Inside of num * num|`Exact of num * num]and command= command_node Mlpost__.Hashcons.hash_consedand brush_node={pen : pen option;dash : dash option;color : color option;}and brush= brush_node Mlpost__.Hashcons.hash_consed
val mkKnot : direction -> point -> direction -> knotval mkMPAKnot : knot -> metapathval mkMPAConcat : knot -> joint -> metapath -> metapathval mkMPAAppend : metapath -> joint -> metapath -> metapathval mkMPAofPA : path -> metapathval mkPAofMPA : metapath -> pathval mkPAKnot : knot -> pathval mkPAConcat : knot -> joint -> path -> pathval mkPACycle : direction -> joint -> path -> pathval mkMPACycle : direction -> joint -> metapath -> pathval mkPAAppend : path -> joint -> path -> pathval mkPAFullCircle : pathval mkPAHalfCircle : pathval mkPAQuarterCircle : pathval mkPAUnitSquare : pathval mkPATransformed : path -> transform -> pathval mkPACutAfter : path -> path -> pathval mkPACutBefore : path -> path -> pathval mkPABuildCycle : path list -> pathval mkPASub : num -> num -> path -> pathval mkPABBox : commandpic -> pathval mkJCurve : jointval mkJLine : jointval mkJCurveNoInflex : jointval mkJTension : float -> float -> jointval mkJControls : point -> point -> jointval mkNoDir : directionval mkVec : point -> directionval mkCurl : float -> directionval mkPITex : string -> pictureval mkPITransformed : commandpic -> transform -> pictureval mkPIClip : commandpic -> path -> pictureval mkCDraw : path -> brush -> commandval mkCFill : path -> color option -> commandval mkCLabel : commandpic -> position -> point -> commandval mkCDotLabel : commandpic -> position -> point -> commandval mkCExternalImage : string -> spec_image -> commandval mkPicture : picture -> commandpicval mkCommand : command -> commandpicval mkSeq : commandpic list -> commandpicval mkDEvenly : dashval mkDWithdots : dashval mkDScaled : num -> dash -> dashval mkDShifted : point -> dash -> dashval mkDPattern : on_off list -> dashval mkPenCircle : penval mkPenSquare : penval mkPenFromPath : path -> penval mkPenTransformed : pen -> transform -> penval mkBrush : color option -> pen option -> dash option -> brushval mkBrushOpt : brush option -> color option -> pen option -> dash option -> brushval mkOn : num -> on_offval mkOff : num -> on_offval pos_reduce : position -> position_redval corner_reduce : corner -> corner_redval vreduce : vposition -> vposition_redval hreduce : hposition -> hposition_redval opposite_position : position -> position_red